InforLorV4, Main, Exploration, bibRecord, 003584

Constraint Based Strategies

Identifieur interne : 003584 ( Main/Exploration ); précédent : 003583; suivant : 003585

Constraint Based Strategies

Auteurs : Helene Kirchner [France] ; Kirchner Florent [France] ; Claude Kirchner [France]

Source :

RBID : Hal:inria-00494531

Abstract

Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an explicit object of interest. In recent works, abstract strategies have been defined in extension but also intensionally. In this paper we complete these views with a new declarative approach based on constraints, which are used to model the different parts of a strategy. This procedure allows us to express elaborate strategies in a declarative and reusable way.

Url:

https://hal.inria.fr/inria-00494531

Affiliations:

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 001860
to stream Hal, to step Curation: 001860
to stream Hal, to step Checkpoint: 002C51
to stream Main, to step Merge: 003669
to stream Main, to step Curation: 003584

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Constraint Based Strategies</title>
<author><name sortKey="Kirchner, Helene" sort="Kirchner, Helene" uniqKey="Kirchner H" first="Helene" last="Kirchner">Helene Kirchner</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-104751" status="VALID"><idno type="RNSR">200818243Z</idno>
<orgName>INRIA Bordeaux - Sud-Ouest</orgName>
<desc><address><addrLine>200, avenue de la Vieille Tour, 33405 Talence</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/bordeaux/</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300009" type="direct"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Florent, Kirchner" sort="Florent, Kirchner" uniqKey="Florent K" first="Kirchner" last="Florent">Kirchner Florent</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-88187" status="VALID"><idno type="RNSR">200918993K</idno>
<orgName>Software certification with semantic analysis</orgName>
<orgName type="acronym">CELTIQUE</orgName>
<desc><address><addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/celtique</ref>
</desc>
<listRelation><relation active="#struct-419153" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-419365" type="direct"></relation>
<relation active="#struct-105128" type="indirect"></relation>
<relation active="#struct-105160" type="indirect"></relation>
<relation active="#struct-172265" type="indirect"></relation>
<relation active="#struct-247362" type="indirect"></relation>
<relation active="#struct-300812" type="indirect"></relation>
<relation name="- RENNES" active="#struct-301232" type="indirect"></relation>
<relation active="#struct-301262" type="indirect"></relation>
<relation name="UMR6074" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-419153" type="direct"><org type="laboratory" xml:id="struct-419153" status="VALID"><idno type="RNSR">198018249C</idno>
<orgName>Inria Rennes – Bretagne Atlantique </orgName>
<desc><address><addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre/rennes</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-419365" type="direct"><org type="department" xml:id="struct-419365" status="VALID"><orgName>LANGAGE ET GÉNIE LOGICIEL</orgName>
<orgName type="acronym">IRISA-D4</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">https://www.irisa.fr/fr/departements/d4-langage-genie-logiciel</ref>
</desc>
<listRelation><relation active="#struct-105128" type="direct"></relation>
<relation active="#struct-105160" type="indirect"></relation>
<relation active="#struct-172265" type="indirect"></relation>
<relation active="#struct-247362" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300812" type="indirect"></relation>
<relation name="- RENNES" active="#struct-301232" type="indirect"></relation>
<relation active="#struct-301262" type="indirect"></relation>
<relation name="UMR6074" active="#struct-441569" type="indirect"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-105128" type="indirect"><org type="laboratory" xml:id="struct-105128" status="VALID"><idno type="IdRef">026386909</idno>
<idno type="RNSR">200012163A</idno>
<orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
<orgName type="acronym">IRISA</orgName>
<date type="start">2000</date>
<desc><address><addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.irisa.fr</ref>
</desc>
<listRelation><relation active="#struct-105160" type="direct"></relation>
<relation active="#struct-172265" type="direct"></relation>
<relation active="#struct-247362" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300812" type="direct"></relation>
<relation name="- RENNES" active="#struct-301232" type="direct"></relation>
<relation active="#struct-301262" type="direct"></relation>
<relation name="UMR6074" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-105160" type="indirect"><org type="institution" xml:id="struct-105160" status="VALID"><orgName>Université de Rennes 1</orgName>
<orgName type="acronym">UR1</orgName>
<desc><address><addrLine>2 rue du Thabor - CS 46510 - 35065 Rennes cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-rennes1.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-172265" type="indirect"><org type="institution" xml:id="struct-172265" status="VALID"><orgName>Université de Bretagne Sud</orgName>
<orgName type="acronym">UBS</orgName>
<desc><address><addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-ubs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-247362" type="indirect"><org type="institution" xml:id="struct-247362" status="VALID"><orgName>École normale supérieure - Rennes</orgName>
<orgName type="acronym">ENS Rennes</orgName>
<desc><address><addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.ens-rennes.fr</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300812" type="indirect"><org type="institution" xml:id="struct-300812" status="VALID"><orgName>SUPELEC</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="- RENNES" active="#struct-301232" type="indirect"><org type="institution" xml:id="struct-301232" status="VALID"><orgName>Institut National des Sciences Appliquées</orgName>
<orgName type="acronym">INSA</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-301262" type="indirect"><org type="institution" xml:id="struct-301262" status="VALID"><orgName>Télécom Bretagne</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR6074" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Rennes</settlement>
<region type="region" nuts="2">Région Bretagne</region>
</placeName>
<orgName type="university">Université de Rennes 1</orgName>
<orgName type="institution" wicri:auto="newGroup">Université européenne de Bretagne</orgName>
<placeName><settlement type="city">Lorient</settlement>
<region type="region" nuts="2">Région Bretagne</region>
</placeName>
<orgName type="university">Université de Bretagne-Sud</orgName>
<orgName type="institution" wicri:auto="newGroup">Université européenne de Bretagne</orgName>
</affiliation>
</author>
<author><name sortKey="Kirchner, Claude" sort="Kirchner, Claude" uniqKey="Kirchner C" first="Claude" last="Kirchner">Claude Kirchner</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-104751" status="VALID"><idno type="RNSR">200818243Z</idno>
<orgName>INRIA Bordeaux - Sud-Ouest</orgName>
<desc><address><addrLine>200, avenue de la Vieille Tour, 33405 Talence</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/bordeaux/</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300009" type="direct"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:inria-00494531</idno>
<idno type="halId">inria-00494531</idno>
<idno type="halUri">https://hal.inria.fr/inria-00494531</idno>
<idno type="url">https://hal.inria.fr/inria-00494531</idno>
<date when="2009-06">2009-06</date>
<idno type="wicri:Area/Hal/Corpus">001860</idno>
<idno type="wicri:Area/Hal/Curation">001860</idno>
<idno type="wicri:Area/Hal/Checkpoint">002C51</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">002C51</idno>
<idno type="wicri:Area/Main/Merge">003669</idno>
<idno type="wicri:Area/Main/Curation">003584</idno>
<idno type="wicri:Area/Main/Exploration">003584</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Constraint Based Strategies</title>
<author><name sortKey="Kirchner, Helene" sort="Kirchner, Helene" uniqKey="Kirchner H" first="Helene" last="Kirchner">Helene Kirchner</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-104751" status="VALID"><idno type="RNSR">200818243Z</idno>
<orgName>INRIA Bordeaux - Sud-Ouest</orgName>
<desc><address><addrLine>200, avenue de la Vieille Tour, 33405 Talence</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/bordeaux/</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300009" type="direct"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Florent, Kirchner" sort="Florent, Kirchner" uniqKey="Florent K" first="Kirchner" last="Florent">Kirchner Florent</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-88187" status="VALID"><idno type="RNSR">200918993K</idno>
<orgName>Software certification with semantic analysis</orgName>
<orgName type="acronym">CELTIQUE</orgName>
<desc><address><addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/celtique</ref>
</desc>
<listRelation><relation active="#struct-419153" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-419365" type="direct"></relation>
<relation active="#struct-105128" type="indirect"></relation>
<relation active="#struct-105160" type="indirect"></relation>
<relation active="#struct-172265" type="indirect"></relation>
<relation active="#struct-247362" type="indirect"></relation>
<relation active="#struct-300812" type="indirect"></relation>
<relation name="- RENNES" active="#struct-301232" type="indirect"></relation>
<relation active="#struct-301262" type="indirect"></relation>
<relation name="UMR6074" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-419153" type="direct"><org type="laboratory" xml:id="struct-419153" status="VALID"><idno type="RNSR">198018249C</idno>
<orgName>Inria Rennes – Bretagne Atlantique </orgName>
<desc><address><addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre/rennes</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-419365" type="direct"><org type="department" xml:id="struct-419365" status="VALID"><orgName>LANGAGE ET GÉNIE LOGICIEL</orgName>
<orgName type="acronym">IRISA-D4</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">https://www.irisa.fr/fr/departements/d4-langage-genie-logiciel</ref>
</desc>
<listRelation><relation active="#struct-105128" type="direct"></relation>
<relation active="#struct-105160" type="indirect"></relation>
<relation active="#struct-172265" type="indirect"></relation>
<relation active="#struct-247362" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300812" type="indirect"></relation>
<relation name="- RENNES" active="#struct-301232" type="indirect"></relation>
<relation active="#struct-301262" type="indirect"></relation>
<relation name="UMR6074" active="#struct-441569" type="indirect"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-105128" type="indirect"><org type="laboratory" xml:id="struct-105128" status="VALID"><idno type="IdRef">026386909</idno>
<idno type="RNSR">200012163A</idno>
<orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
<orgName type="acronym">IRISA</orgName>
<date type="start">2000</date>
<desc><address><addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.irisa.fr</ref>
</desc>
<listRelation><relation active="#struct-105160" type="direct"></relation>
<relation active="#struct-172265" type="direct"></relation>
<relation active="#struct-247362" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300812" type="direct"></relation>
<relation name="- RENNES" active="#struct-301232" type="direct"></relation>
<relation active="#struct-301262" type="direct"></relation>
<relation name="UMR6074" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-105160" type="indirect"><org type="institution" xml:id="struct-105160" status="VALID"><orgName>Université de Rennes 1</orgName>
<orgName type="acronym">UR1</orgName>
<desc><address><addrLine>2 rue du Thabor - CS 46510 - 35065 Rennes cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-rennes1.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-172265" type="indirect"><org type="institution" xml:id="struct-172265" status="VALID"><orgName>Université de Bretagne Sud</orgName>
<orgName type="acronym">UBS</orgName>
<desc><address><addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-ubs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-247362" type="indirect"><org type="institution" xml:id="struct-247362" status="VALID"><orgName>École normale supérieure - Rennes</orgName>
<orgName type="acronym">ENS Rennes</orgName>
<desc><address><addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.ens-rennes.fr</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300812" type="indirect"><org type="institution" xml:id="struct-300812" status="VALID"><orgName>SUPELEC</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="- RENNES" active="#struct-301232" type="indirect"><org type="institution" xml:id="struct-301232" status="VALID"><orgName>Institut National des Sciences Appliquées</orgName>
<orgName type="acronym">INSA</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-301262" type="indirect"><org type="institution" xml:id="struct-301262" status="VALID"><orgName>Télécom Bretagne</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle name="UMR6074" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Rennes</settlement>
<region type="region" nuts="2">Région Bretagne</region>
</placeName>
<orgName type="university">Université de Rennes 1</orgName>
<orgName type="institution" wicri:auto="newGroup">Université européenne de Bretagne</orgName>
<placeName><settlement type="city">Lorient</settlement>
<region type="region" nuts="2">Région Bretagne</region>
</placeName>
<orgName type="university">Université de Bretagne-Sud</orgName>
<orgName type="institution" wicri:auto="newGroup">Université européenne de Bretagne</orgName>
</affiliation>
</author>
<author><name sortKey="Kirchner, Claude" sort="Kirchner, Claude" uniqKey="Kirchner C" first="Claude" last="Kirchner">Claude Kirchner</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-104751" status="VALID"><idno type="RNSR">200818243Z</idno>
<orgName>INRIA Bordeaux - Sud-Ouest</orgName>
<desc><address><addrLine>200, avenue de la Vieille Tour, 33405 Talence</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/bordeaux/</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300009" type="direct"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an explicit object of interest. In recent works, abstract strategies have been defined in extension but also intensionally. In this paper we complete these views with a new declarative approach based on constraints, which are used to model the different parts of a strategy. This procedure allows us to express elaborate strategies in a declarative and reusable way.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Région Bretagne</li>
</region>
<settlement><li>Lorient</li>
<li>Rennes</li>
</settlement>
<orgName><li>Université de Bretagne-Sud</li>
<li>Université de Rennes 1</li>
<li>Université européenne de Bretagne</li>
</orgName>
</list>
<tree><country name="France"><noRegion><name sortKey="Kirchner, Helene" sort="Kirchner, Helene" uniqKey="Kirchner H" first="Helene" last="Kirchner">Helene Kirchner</name>
</noRegion>
<name sortKey="Florent, Kirchner" sort="Florent, Kirchner" uniqKey="Florent K" first="Kirchner" last="Florent">Kirchner Florent</name>
<name sortKey="Kirchner, Claude" sort="Kirchner, Claude" uniqKey="Kirchner C" first="Claude" last="Kirchner">Claude Kirchner</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003584 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 003584 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     Hal:inria-00494531
   |texte=   Constraint Based Strategies
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

Constraint Based Strategies

Constraint Based Strategies

Source :

Abstract

Links toward previous steps (curation, corpus...)

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri